Big O in probability notation